Translating Into Standard Form For Categorical Propositions